Synthesizing ROOM Models from Message Sequence Chart Specifications
نویسندگان
چکیده
Message Sequence Chart (MSC) speci cations have found their way into many software engineering methodologies and CASE tools, in particular in the area of telecommunications and concurrent real-time systems. MSC Speci cations often represent early life-cycle requirements and high-level design speci cations. We are considering iterating and branching MSC speci cations according to ITU-T Recommendation Z.120. We show how these speci cations can be analyzed with respect to their software architectural content, including structure and behavior. We present algorithms for the automated synthesis of Real-Time Object-Oriented Modeling (ROOM) models from MSC speci cations and discuss their implementation in theMesa toolset. The automation of the synthesis contributes to making the transition from high-level, message exchange-oriented views to the level of a full life-cycle architecture description more e cient and reliable. This means that we are contributing to making Z.120 MSC speci cations more useful in the software engineering process.
منابع مشابه
Synthesizing Room Models from Message Sequence Chart Speciications
Message Sequence Chart (MSC) speci cations have found their way into many software engineering methodologies and CASE tools, in particular in the area of telecommunications and concurrent real-time systems. MSC Speci cations often represent early life-cycle requirements and high-level design speci cations. We are considering iterating and branching MSC speci cations according to ITU-T Recommend...
متن کاملSynthesizing ROOM Models from Message Sequence Chart Speci cations
Message Sequence Chart (MSC) speci cations have found their way into many software engineering methodologies and CASE tools, in particular in the area of telecommunications and concurrent real-time systems. MSC Speci cations often represent early life-cycle requirements and high-level design speci cations. We are considering iterating and branching MSC speci cations according to ITU-T Recommend...
متن کاملSynthesizing State-Based Object Systems from LSC Specifications
Live sequence charts (LSCs) have been defined recently as an extension of message sequence charts (MSCs; or their UML variant, sequence diagrams) for rich inter-object specification. One of the main additions is the notion of universal charts and hot, mandatory behavior, which, among other things, enables one to specify forbidden scenarios. LSCs are thus essentially as expressive as statecharts...
متن کاملSmyle: A Tool for Synthesizing Distributed Models from Scenarios by Learning
This paper presents Smyle, a tool for synthesizing asynchronous and distributed implementation models from sets of scenarios that are given as message sequence charts (MSCs). The latter specify desired or unwanted behavior of the system to be. Provided with such positive and negative example scenarios, Smyle employs dedicated learning techniques and propositional dynamic logic (PDL) over MSCs t...
متن کاملDynamic scenario-based approach to re-engineering of legacy telecommunication software
Large amounts of legacy software create a “barrier” for adoption of formal description techniques in the telecommunication industry. To overcome this barrier, algorithms and methods for automated re-engineering of legacy telecommunication software into formal specifications are required. In this paper we present a “dynamic scenario-based” approach to re-engineering of legacy telecommunication s...
متن کامل